<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="References to objects containing an integer value coded on 16 bits">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>natural_16_ref Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="natural_16_ref_chart.html">Chart</A></TD><TD><A HREF="natural_16_ref_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "References to objects containing an integer value coded on 16 bits"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 1986-2008, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2008-05-24 02:24:07 +0200 (Sat, 24 May 2008) $"
    revision: "$Revision: 170 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>


<B>create</B> 
    <A NAME="f_default_create"><A HREF="../base/any_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process instances of classes with no creation clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_hash_code"><A HREF="../base/natural_16_ref_flatshort.html#f_hash_code">hash_code</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Hash code value</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/hashable_flatshort.html">HASHABLE</A>
            good_hash_value: <B>Result</B> &gt;= 0
</A>
    <A NAME="f_item"><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A>: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Integer value</FONT>
</A>
    <A NAME="f_max_value"><A HREF="../base/natural_16_ref_flatshort.html#f_max_value">max_value</A>: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A> <B>is</B> 65535</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Minimum and Maximum value hold in </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red">.</FONT>

    <A NAME="f_min_value"><A HREF="../base/natural_16_ref_flatshort.html#f_min_value">min_value</A>: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A> <B>is</B> 0</A>

    <A NAME="f_one"><A HREF="../base/natural_16_ref_flatshort.html#f_one">one</A>: <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Neutral element for "*" and "/"</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_sign"><A HREF="../base/natural_16_ref_flatshort.html#f_sign">sign</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Sign value (0, -1 or 1)</FONT>
        <B>ensure</B>
            three_way: <B>Result</B> = <A HREF="../base/comparable_flatshort.html#f_three_way_comparison">three_way_comparison</A> (<A HREF="../base/natural_16_ref_flatshort.html#f_zero">zero</A>)
</A>
    <A NAME="f_zero"><A HREF="../base/natural_16_ref_flatshort.html#f_zero">zero</A>: <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Neutral element for "+" and "-"</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/natural_16_ref_flatshort.html#f_is_equal">is_equal</A> (other: <B>like</B> <B>Current</B>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object and identical to it?</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            trichotomy: <B>Result</B> = (<B>not</B> (<B>Current</B> &lt; other) <B>and</B> <B>not</B> (other &lt; <B>Current</B>))
</A>
    <A NAME="f_max"><A HREF="../base/comparable_flatshort.html#f_max">max</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> The greater of current object and </FONT>`other'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            current_if_not_smaller: <B>Current</B> &gt;= other <B>implies</B> <B>Result</B> = <B>Current</B>
            other_if_smaller: <B>Current</B> &lt; other <B>implies</B> <B>Result</B> = other
</A>
    <A NAME="f_min"><A HREF="../base/comparable_flatshort.html#f_min">min</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> The smaller of current object and </FONT>`other'
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            current_if_not_greater: <B>Current</B> &lt;= other <B>implies</B> <B>Result</B> = <B>Current</B>
            other_if_greater: <B>Current</B> &gt; other <B>implies</B> <B>Result</B> = other
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_three_way_comparison"><A HREF="../base/comparable_flatshort.html#f_three_way_comparison">three_way_comparison</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If current object equal to </FONT>`other'<FONT COLOR="red">, 0;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> if smaller, -1; if greater, 1</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            equal_zero: (<B>Result</B> = 0) = <A HREF="../base/natural_16_ref_flatshort.html#f_is_equal">is_equal</A> (other)
            smaller_negative: (<B>Result</B> = -1) = (<B>Current</B> &lt; other)
            greater_positive: (<B>Result</B> = 1) = (<B>Current</B> &gt; other)
</A>
    <A NAME="f_infix "&lt;""><B>infix</B> "&lt;" (other: <B>like</B> <B>Current</B>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is current integer less than </FONT>`other'<FONT COLOR="red">?</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/part_comparable_flatshort.html">PART_COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            asymmetric: <B>Result</B> <B>implies</B> <B>not</B> (other &lt; <B>Current</B>)
</A>
    <A NAME="f_infix "&lt;=""><B>infix</B> "&lt;=" (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is current object less than or equal to </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/part_comparable_flatshort.html">PART_COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            definition: <B>Result</B> = ((<B>Current</B> &lt; other) <B>or</B> <A HREF="../base/natural_16_ref_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_infix "&gt;""><B>infix</B> "&gt;" (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is current object greater than </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/part_comparable_flatshort.html">PART_COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            definition: <B>Result</B> = (other &lt; <B>Current</B>)
</A>
    <A NAME="f_infix "&gt;=""><B>infix</B> "&gt;=" (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is current object greater than or equal to </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/part_comparable_flatshort.html">PART_COMPARABLE</A>
            other_exists: other /= <B>Void</B>
        <B>ensure then</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
            definition: <B>Result</B> = (other &lt;= <B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_divisible"><A HREF="../base/natural_16_ref_flatshort.html#f_divisible">divisible</A> (other: <B>like</B> <B>Current</B>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May current object be divided by </FONT>`other'<FONT COLOR="red">?</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            other_exists: other /= <B>Void</B>
        <B>ensure then</B>
            value: <B>Result</B> = (other.<A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> /= 0)
</A>
    <A NAME="f_exponentiable"><A HREF="../base/natural_16_ref_flatshort.html#f_exponentiable">exponentiable</A> (other: <A HREF="../base/numeric_flatshort.html">NUMERIC</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May current object be elevated to the power </FONT>`other'<FONT COLOR="red">?</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            other_exists: other /= <B>Void</B>
        <B>ensure then</B>
            safe_values: ((other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (0) <B>and</B> <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> /= 0) <B>or</B> (other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (0.0) <B>and</B> <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> &gt; 0)) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_is_hashable"><A HREF="../base/natural_16_ref_flatshort.html#f_is_hashable">is_hashable</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> May current object be hashed?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (True if it is not its type's default.)</FONT>
</A>
    <A NAME="f_is_valid_character_32_code"><A HREF="../base/natural_16_ref_flatshort.html#f_is_valid_character_32_code">is_valid_character_32_code</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does current object represent a character?</FONT>
</A>
    <A NAME="f_is_valid_character_8_code"><A HREF="../base/natural_16_ref_flatshort.html#f_is_valid_character_8_code">is_valid_character_8_code</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does current object represent a CHARACTER_8?</FONT>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Element change</FONT>

    <A NAME="f_set_item"><A HREF="../base/natural_16_ref_flatshort.html#f_set_item">set_item</A> (i: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Make </FONT>`i'<FONT COLOR="red"> the </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> value.</FONT>
        <B>ensure</B>
            item_set: <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> = i
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Conversion</FONT>

    <A NAME="f_as_integer_16"><A HREF="../base/natural_16_ref_flatshort.html#f_as_integer_16">as_integer_16</A>: <A HREF="../base/integer_16_flatshort.html">INTEGER_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_16 value.</FONT>
</A>
    <A NAME="f_as_integer_32"><A HREF="../base/natural_16_ref_flatshort.html#f_as_integer_32">as_integer_32</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_32 value.</FONT>
</A>
    <A NAME="f_as_integer_64"><A HREF="../base/natural_16_ref_flatshort.html#f_as_integer_64">as_integer_64</A>: <A HREF="../base/integer_64_flatshort.html">INTEGER_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_64 value.</FONT>
</A>
    <A NAME="f_as_integer_8"><A HREF="../base/natural_16_ref_flatshort.html#f_as_integer_8">as_integer_8</A>: <A HREF="../base/integer_8_flatshort.html">INTEGER_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_8 value.</FONT>
</A>
    <A NAME="f_as_natural_16"><A HREF="../base/natural_16_ref_flatshort.html#f_as_natural_16">as_natural_16</A>: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_16 value.</FONT>
</A>
    <A NAME="f_as_natural_32"><A HREF="../base/natural_16_ref_flatshort.html#f_as_natural_32">as_natural_32</A>: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_32 value.</FONT>
</A>
    <A NAME="f_as_natural_64"><A HREF="../base/natural_16_ref_flatshort.html#f_as_natural_64">as_natural_64</A>: <A HREF="../base/natural_64_flatshort.html">NATURAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_64 value.</FONT>
</A>
    <A NAME="f_as_natural_8"><A HREF="../base/natural_16_ref_flatshort.html#f_as_natural_8">as_natural_8</A>: <A HREF="../base/natural_8_flatshort.html">NATURAL_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_8 value.</FONT>
</A>
    <A NAME="f_to_boolean"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_boolean">to_boolean</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> True if not </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_zero">zero</A><FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_to_character_32"><A HREF="../base/natural_16_ref_flatshort.html#f_to_character_32">to_character_32</A>: <A HREF="../base/character_32_flatshort.html">CHARACTER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Associated character in 32 bit version.</FONT>
        <B>require</B>
            valid_character: <A HREF="../base/natural_16_ref_flatshort.html#f_is_valid_character_32_code">is_valid_character_32_code</A>
</A>
    <A NAME="f_to_character_8"><A HREF="../base/natural_16_ref_flatshort.html#f_to_character_8">to_character_8</A>: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Associated character in 8 bit version.</FONT>
        <B>require</B>
            valid_character: <A HREF="../base/natural_16_ref_flatshort.html#f_is_valid_character_8_code">is_valid_character_8_code</A>
</A>
    <A NAME="f_to_hex_character"><A HREF="../base/natural_16_ref_flatshort.html#f_to_hex_character">to_hex_character</A>: <A HREF="../base/character_8_flatshort.html">CHARACTER_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an hexadecimal character.</FONT>
        <B>require</B>
            in_bounds: 0 &lt;= <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> <B>and</B> <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> &lt;= 15
        <B>ensure</B>
            valid_character: ("0123456789ABCDEF").<A HREF="../base/readable_string_8_flatshort.html#f_has">has</A> (<B>Result</B>)
</A>
    <A NAME="f_to_hex_string"><A HREF="../base/natural_16_ref_flatshort.html#f_to_hex_string">to_hex_string</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an hexadecimal string.</FONT>
        <B>ensure</B>
            result_not_void: <B>Result</B> /= <B>Void</B>
            result_valid_count: <B>Result</B>.<A HREF="../base/readable_string_8_flatshort.html#f_count">count</A> = (<B>create</B> {<A HREF="../base/platform_flatshort.html">PLATFORM</A>}).<A HREF="../base/platform_flatshort.html#f_integer_16_bits">integer_16_bits</A> // 4
</A>
    <A NAME="f_to_integer_16"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_integer_16">to_integer_16</A>: <A HREF="../base/integer_16_flatshort.html">INTEGER_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_16 value.</FONT>
        <B>require</B>
            not_too_big: <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> &lt;= {<A HREF="../base/integer_16_flatshort.html">INTEGER_16</A>}.<A HREF="../base/integer_16_ref_flatshort.html#f_max_value">max_value</A>.<A HREF="../base/integer_16_ref_flatshort.html#f_to_natural_16">to_natural_16</A>
</A>
    <A NAME="f_to_integer_32"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_integer_32">to_integer_32</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_32 value.</FONT>
</A>
    <A NAME="f_to_integer_64"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_integer_64">to_integer_64</A>: <A HREF="../base/integer_64_flatshort.html">INTEGER_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_64 value.</FONT>
</A>
    <A NAME="f_to_integer_8"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_integer_8">to_integer_8</A>: <A HREF="../base/integer_8_flatshort.html">INTEGER_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_8 value.</FONT>
        <B>require</B>
            not_too_big: <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> &lt;= {<A HREF="../base/integer_8_flatshort.html">INTEGER_8</A>}.<A HREF="../base/integer_8_ref_flatshort.html#f_max_value">max_value</A>.<A HREF="../base/integer_8_ref_flatshort.html#f_to_natural_16">to_natural_16</A>
</A>
    <A NAME="f_to_natural_16"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_natural_16">to_natural_16</A>: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_16 value.</FONT>
</A>
    <A NAME="f_to_natural_32"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_natural_32">to_natural_32</A>: <A HREF="../base/natural_32_flatshort.html">NATURAL_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_32 value.</FONT>
</A>
    <A NAME="f_to_natural_64"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_natural_64">to_natural_64</A>: <A HREF="../base/natural_64_flatshort.html">NATURAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an NATURAL_64 value.</FONT>
</A>
    <A NAME="f_to_natural_8"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_to_natural_8">to_natural_8</A>: <A HREF="../base/natural_8_flatshort.html">NATURAL_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into an INTEGER_8 value.</FONT>
        <B>require</B>
            not_too_big: <A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A> &lt;= {<A HREF="../base/natural_8_flatshort.html">NATURAL_8</A>}.<A HREF="../base/natural_8_ref_flatshort.html#f_max_value">max_value</A>
</A>
    <A NAME="f_to_real_32"><A HREF="../base/natural_16_ref_flatshort.html#f_to_real_32">to_real_32</A>: <A HREF="../base/real_32_flatshort.html">REAL_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into a REAL_32</FONT>
</A>
    <A NAME="f_to_real_64"><A HREF="../base/natural_16_ref_flatshort.html#f_to_real_64">to_real_64</A>: <A HREF="../base/real_64_flatshort.html">REAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Convert </FONT><A HREF="../base/natural_16_ref_flatshort.html#f_item">item</A><FONT COLOR="red"> into a REAL_64</FONT>
</A>
    <A NAME="f_to_reference"><A HREF="../base/natural_16_ref_flatshort.html#f_to_reference">to_reference</A>: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Associated reference of Current</FONT>
        <B>ensure</B>
            to_reference_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/natural_16_ref_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_unapplicable_minus_prefix"><A HREF="../base/natural_16_ref_flatshort.html#f_unapplicable_minus_prefix">unapplicable_minus_prefix</A>: <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Unary minus</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            <B>True</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
        <B>ensure then</B>
            not_applicable: <B>False</B>
</A>
    <A NAME="f_infix "*""><B>infix</B> "*" (other: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Product by </FONT>`other'
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            other_exists: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_prefix "+""><B>prefix</B> "+": <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Unary plus</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "+""><B>infix</B> "+" (other: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Sum with </FONT>`other'
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            other_exists: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
            commutative: <A HREF="../base/any_flatshort.html#f_equal">equal</A> (<B>Result</B>, other + <B>Current</B>)
</A>
    <A NAME="f_infix "-""><B>infix</B> "-" (other: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Result of subtracting </FONT>`other'
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            other_exists: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "/""><B>infix</B> "/" (other: <B>like</B> <B>Current</B>): <A HREF="../base/real_64_flatshort.html">REAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Division by </FONT>`other'
        <B>require</B>
            other_exists: other /= <B>Void</B>
            good_divisor: <A HREF="../base/natural_16_ref_flatshort.html#f_divisible">divisible</A> (other)
</A>
    <A NAME="f_infix "//""><B>infix</B> "//" (other: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Integer division of Current by </FONT>`other'
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            other_exists: other /= <B>Void</B>
            good_divisor: <A HREF="../base/natural_16_ref_flatshort.html#f_divisible">divisible</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/numeric_flatshort.html">NUMERIC</A>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "\\""><B>infix</B> "\\" (other: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Remainder of the integer division of Current by </FONT>`other'
        <B>require</B>
            other_exists: other /= <B>Void</B>
            good_divisor: <A HREF="../base/natural_16_ref_flatshort.html#f_divisible">divisible</A> (other)
        <B>ensure</B>
            result_exists: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "^""><B>infix</B> "^" (other: <A HREF="../base/real_64_flatshort.html">REAL_64</A>): <A HREF="../base/real_64_flatshort.html">REAL_64</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Integer power of Current by </FONT>`other'
</A>
    <A NAME="f_infix "|..|""><B>infix</B> "|..|" (other: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/integer_interval_flatshort.html">INTEGER_INTERVAL</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Interval from current element to </FONT>`other'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (empty if </FONT>`other'<FONT COLOR="red"> less than current integer)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bit operations</FONT>

    <A NAME="f_bit_and"><A HREF="../base/natural_16_ref_flatshort.html#f_bit_and">bit_and</A> (i: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bitwise and between Current' and </FONT>`i'<FONT COLOR="red">.</FONT>
        <B>require</B>
            i_not_void: i /= <B>Void</B>
        <B>ensure</B>
            bitwise_and_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_bit_not"><A HREF="../base/natural_16_ref_flatshort.html#f_bit_not">bit_not</A>: <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> One's complement of Current.</FONT>
        <B>ensure</B>
            bit_not_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_bit_or"><A HREF="../base/natural_16_ref_flatshort.html#f_bit_or">bit_or</A> (i: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bitwise or between Current' and </FONT>`i'<FONT COLOR="red">.</FONT>
        <B>require</B>
            i_not_void: i /= <B>Void</B>
        <B>ensure</B>
            bitwise_or_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_bit_shift"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_bit_shift">bit_shift</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Shift Current from </FONT>`n'<FONT COLOR="red"> position to right if </FONT>`n'<FONT COLOR="red"> positive,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to left otherwise.</FONT>
        <B>require</B>
            n_less_or_equal_to_16: n &lt;= 16
            n_greater_or_equal_to_minus_16: n &gt;= -16
</A>
    <A NAME="f_bit_shift_left"><A HREF="../base/natural_16_ref_flatshort.html#f_bit_shift_left">bit_shift_left</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Shift Current from </FONT>`n'<FONT COLOR="red"> position to left.</FONT>
        <B>require</B>
            n_nonnegative: n &gt;= 0
            n_less_or_equal_to_16: n &lt;= 16
        <B>ensure</B>
            bit_shift_left_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_bit_shift_right"><A HREF="../base/natural_16_ref_flatshort.html#f_bit_shift_right">bit_shift_right</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Shift Current from </FONT>`n'<FONT COLOR="red"> position to right.</FONT>
        <B>require</B>
            n_nonnegative: n &gt;= 0
            n_less_or_equal_to_16: n &lt;= 16
        <B>ensure</B>
            bit_shift_right_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_bit_test"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_bit_test">bit_test</A> (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Test </FONT>`n'<FONT COLOR="red">-th position of Current.</FONT>
        <B>require</B>
            n_nonnegative: n &gt;= 0
            n_less_than_16: n &lt; 16
</A>
    <A NAME="f_bit_xor"><A HREF="../base/natural_16_ref_flatshort.html#f_bit_xor">bit_xor</A> (i: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bitwise xor between Current' and </FONT>`i'<FONT COLOR="red">.</FONT>
        <B>require</B>
            i_not_void: i /= <B>Void</B>
        <B>ensure</B>
            bitwise_xor_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_set_bit"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_set_bit">set_bit</A> (b: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>; n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy of current with </FONT>`n'<FONT COLOR="red">-th position</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> set to 1 if </FONT>`b'<FONT COLOR="red">, 0 otherwise.</FONT>
        <B>require</B>
            n_nonnegative: n &gt;= 0
            n_less_than_16: n &lt; 16
</A>
    <A NAME="f_set_bit_with_mask"><B>frozen</B> <A HREF="../base/natural_16_ref_flatshort.html#f_set_bit_with_mask">set_bit_with_mask</A> (b: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>; m: <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>): <A HREF="../base/natural_16_flatshort.html">NATURAL_16</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy of current with all 1 bits of m set to 1</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> if </FONT>`b'<FONT COLOR="red">, 0 otherwise.</FONT>
</A>
    <A NAME="f_infix "&#38;""><B>frozen</B> <B>infix</B> "&#38;" (i: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bitwise and between Current' and </FONT>`i'<FONT COLOR="red">.</FONT>
        <B>require</B>
            i_not_void: i /= <B>Void</B>
        <B>ensure</B>
            bitwise_and_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "|""><B>frozen</B> <B>infix</B> "|" (i: <B>like</B> <B>Current</B>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Bitwise or between Current' and </FONT>`i'<FONT COLOR="red">.</FONT>
        <B>require</B>
            i_not_void: i /= <B>Void</B>
        <B>ensure</B>
            bitwise_or_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "|&lt;&lt;""><B>frozen</B> <B>infix</B> "|&lt;&lt;" (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Shift Current from </FONT>`n'<FONT COLOR="red"> position to left.</FONT>
        <B>require</B>
            n_nonnegative: n &gt;= 0
            n_less_or_equal_to_16: n &lt;= 16
        <B>ensure</B>
            bit_shift_left_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_infix "|&gt;&gt;""><B>frozen</B> <B>infix</B> "|&gt;&gt;" (n: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <B>like</B> <B>Current</B>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Shift Current from </FONT>`n'<FONT COLOR="red"> position to right.</FONT>
        <B>require</B>
            n_nonnegative: n &gt;= 0
            n_less_or_equal_to_16: n &lt;= 16
        <B>ensure</B>
            bit_shift_right_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/natural_16_ref_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Printable representation of integer value</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/debug_output_flatshort.html">DEBUG_OUTPUT</A>
            <B>True</B>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT> <A HREF="../base/any_flatshort.html">ANY</A>
            <B>True</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/debug_output_flatshort.html">DEBUG_OUTPUT</A>
            result_not_void: <B>Result</B> /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/comparable_flatshort.html">COMPARABLE</A>
    irreflexive_comparison: <B>not</B> (<B>Current</B> &lt; <B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/natural_16_ref_flatshort.html">NATURAL_16_REF</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="natural_16_ref_chart.html">Chart</A></TD><TD><A HREF="natural_16_ref_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

